一种面向动态链状数据结构的指针定值引用链算法

采用流敏感的方法分析计算过程内操作动态链状数据结构的指针定值引用链.目的是连接对链状数据结构进行定值的语句和引用这些链状数据结构的语句,具体地,每条对链状数据结构进行定值的语句,算法将找出所有引用被该语句定值的链状数据结构的语句的集合.该算法将被整合到我们设计和开发的并行语言mini-SPC中,指导对操作动态链状数据结构的并行程序的正确分析和程序变换.实验表明基于本文的算法能保证操作动态链状数据结构的指针定值引用链的分析精度,提高分析的效率.     

超薄型钢结构防火涂料工程的质量监督

从不同角度对超薄型钢结构防火涂料工程的质量进行分析判断,指出对钢结构防火涂料特别是膨胀型防火涂料工程的质量进行严格监督的重要性。     

基于关键词网络的热点关键词及热点项目挖掘

针对传统使用频数挖掘热点关键词不能保证有效完整地挖掘出数据库中的热点关键词,提出基于项目、专家对应的关键词数据,分析不同项目关键词之间的相关度,从而建立"项目与专家"网络关系。其创新点在于用双层结构来连接专家、网络、关键词,计算关键词的热度值,挖掘出热点关键词及热点项目。实验结果表明,该方法更能准确地挖掘出项目中的热点关键词,避免了单纯频数计算热点关键词带来的片面化问题。     

基于SignalTap II的数据采集系统设计与调试

随着芯片集成度的提高及封装技术的发展,系统设计与调试变得越来越困难,基于Quartus II软件自带的第二代系统级调试工具SignalTap II,采用EP4CE15F17C8的FPGA开发板为实验平台,以AD9280为核心进行数据采集系统的设计和调试。结果表明,采用SignalTap II可以有效地提高系统设计效率,增强对系统内部数据变化的监测,为复杂的数字系统设计调试提供了一种高效、便捷的方法。     

网游自动反外挂系统的设计与实现

外挂已成为对中国网络游戏产业高速发展影响最为广泛的安全隐患。首先分析了网络游戏外挂程序和反外挂方法的技术特点,并总结了现有的反外挂系统中存在的主要问题。在此基础上提出了一个网游自动反外挂系统,通过有机结合数据安全通讯技术和客户端保护技术,并与游戏过程绑定,以实现对外挂的有效防御。并重点分析了系统中关键安全技术及其实现。与不同于一般反外挂系统进行比较,最后总结了该系统的特点。     

新型有效的秘密共享方案

提出了一种新的秘密共享方案。该方案分两层实现:上层,基于Stern-Brocot树把一个大的秘密拆分为t个小整数(子秘密);底层,借鉴一维元胞自动机模型中的进化方法,把上层的t个子秘密作为初始状态,动态生成各参与者的共享。特别地,该方案能够动态扩展参与者,动态调整门限值,动态更新秘密和共享。另外,还具有计算简单,各参与者共享份额短的优点。分析结果表明,该方案安全、有效。     

基于Grobner基的Rijndael-192代数攻击方案

由于对Rijndael算法实施Grobner基攻击的一个关键环节是构造出其零维Grobner基,本文对Rijndael-192密码的线性变换和多变元方程系统进行了深入研究,通过选择合理的项序及变量次序,提出了Rijndael-192零维Grobner基的构造方法.文中详述了该Grobner基的构造方法,并给出了相关性质的理论证明.此外,本文提出了一种Rijndael-192的Grobner基攻击方案,攻击复杂度低于穷举攻击.     

基于满Steiner树问题的水下无线传感器网络拓扑愈合算法研究

建立了水下无线传感器网络模型,对拓扑愈合问题进行了形式化描述,该问题最终映射到数学上的满Steiner树问题.针对满Steiner树问题设计了一种近似的拓扑愈合算法,通过把自移动节点迁移至合适位置,不仅使拓扑得以愈合,还能够改善时延和能耗指标.仿真实验结果表明,该算法能愈合通信拓扑至较优状态,降低了传输时延和能耗,并能有效地延长水下传感器网络生命期.     

贝叶斯网络在火灾调查中的应用

介绍了贝叶斯网络的基础理论。将贝叶斯网络引用到火灾调查领域,以助燃剂纵火案的火灾调查分析案例为例,分析了纵火案件中的原因事件和结果事件以及各个因素之间的相互影响关系,根据火灾发生过程建立了贝叶斯网络模型。同时通过贝叶斯算法对火灾调查贝叶斯网络的计算方法进行了研究分析。分析了贝叶斯结构图中涉及到的火灾发生因素概率值的数据来源。     

无条件安全的量子茫然传送

茫然传送作为安全多方计算的基础协议具有重要的理论研究和实用价值.目前已有的经典环境中的各茫然传送协议大都基于公钥密码学或一些附加的计算困难性假设,而这些基础在量子计算机制下将变得相当脆弱.本文根据量子贝尔态的特性,提出了一种新的量子茫然传送协议,对其正确性与安全性进行了分析与证明.该协议可同时抵抗通信信道中噪声和可能存在的窃听,在安全性、健壮性、窃听检测等方面均优于经典计算环境下的各种茫然传送协议.